Software Architectural Specification for Optimal Object Distribution
نویسندگان
چکیده
Software architectural design is essential for complex distributed applications. Architectural specifications need to define the key aspects of the application, including its intended functions, interfaces, interoperability requirements, distributability, scalability, extensibility, target platforms and networks, and required middleware services. In this paper, we present an architectural extension for specifying distributable components of the application and for quantifying their interaction patterns. The goal of the specification is to serve as the basis for obtaining optimal distributions of the application components over a target network that minimizes remote communication among the components. The optimal distributionsare obtained by using the architectural specification to derive a BIP (binary integer programming) model and solving the resulting system. We formalize the object-oriented architectural style using the Z specification language. This style defines the detailed information necessary to derive optimal distributions using the BIP model.
منابع مشابه
A Formal Specification Language for the Description of Architectural Patterns in Software Systems
Software Architecture refers to the level of design in which a system is described as a collection of interconnected components. Most concepts in the object-oriented paradigm can be applied to Software Architecture, where the more general term componentoriented is preferred. However, object-oriented notations often fail to describe the interaction patterns that the components of a system must f...
متن کاملDesign Patterns for Concurrent and Distributed Objects
Due to the importance of distribution, object technologies, and the Web, infrastructures for Distributed Object Computing and Component-based middleware have become common place. However, it is not sufficient to just read the specification of standards such as Java RMI, EJB, or CORBA, and then to build applications using these standards. On one hand the transparency provided by these platforms ...
متن کاملAgent Paradigm for Adaptable Architecture
Dynamic changes to an architecture is an active area of research within the software architecture community. Architectures must have the ability to react to events and perform architectural changes autonomously. In this paper, we focus on dynamic architectures reconfiguration. Our principle is to use the agent architectural concept to achieve this functionality with respect to some quality attr...
متن کاملHATS Abstract Behavioral Specification: The Architectural View
The Abstract Behavioral Specification (ABS) language is a formal, executable, object-oriented, concurrent modeling language intended for behavioral modeling of complex software systems that exhibit a high degree of variation, such as software product lines. We give an overview of the architectural aspects of ABS: a feature-driven development workflow, a formal notion of deployment components fo...
متن کاملSpecifying Frameworks and Design Patterns as Architectural Fragments
Object-oriented software architectures, such as design patterns and frameworks, have found extensive use in software industry. As a design technique, these architectural structures have proven themselves very valuable. Their implementation in traditional object-oriented programming languages, however, is often difficult, since these languages provide no support for the explicit specification of...
متن کامل